From Lossy to Lossless Reasoning
๐ชRecursive Descent
Flag this post
Building a Vim-like Text Editor from Scratch in C
devlogs.xyzยท1d
๐Text Editors
Flag this post
Scalable Static Analysis Framework โ hardening large C++ codebases (LLVM/Apple)
๐ชProgram Slicing
Flag this post
Made a simple fine-tuning tool
๐Rope Editors
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
โจGleam
Flag this post
Building Up And Sanding Down
endler.devยท20h
๐งAPI Design
Flag this post
PDXScript tree-sitter
blog.birbpara.deยท1h
๐ฒTree-sitter
Flag this post
Down with template (or not)!
cedardb.comยท20h
๐Template Compilers
Flag this post
Miniscript Studio - fulll IDE based on Miniscript Rust
delvingbitcoin.orgยท20h
๐งชMinicompilers
Flag this post
Giving Vim Wings: The Magic Language That Supercharges Your Old-School Scripts
๐ฏ99-Line Tools
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.orgยท16h
๐Category Theory
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
๐Rust Borrowing
Flag this post
Building a Visual Diff System for AI Edits (Like Git Blame for LLM Changes)
๐Gradual Effects
Flag this post
Nim 2.2.6
๐ฌError Messages
Flag this post
Iโm writing another book!
๐Literate Programming
Flag this post
Loading...Loading more...